Agent Logic - PDFSEARCH.IO - Document Search Engine

Agent Logic
Results: 192

#	Item
131	Computational Models for Normative Multi-Agent Systems Natasha Alechina1 , Nick Bassiliades2 , Mehdi Dastani3 , Marina De Vos4 , Brian Logan1 , Sergio Mera5 , Andreasa Morris-Martin6 , and Fernando Schapachnik5 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:20:37 Science Norm Defeasible reasoning 2APL Agent-based model Deontic logic Software agent Actor model Reason Multi-agent systems Computing Artificial intelligence
132	Automating Belief Revision in AgentSpeak Natasha Alechina1 , Rafael H. Bordini2 , Jomi Fred H¨ubner 3, Mark Jago1 , and Brian Logan1 1 School of Computer Science Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Science AgentSpeak Jason Belief revision Logic programming Algorithm Programming language Belief–desire–intention model Epistemology Multi-agent systems Computing Artificial intelligence
133	Logic and Agent Programming Languages Natasha Alechina School of Computer Science University of Nottingham [removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 16:53:25 2APL AgentSpeak Procedural reasoning system Belief–desire–intention model Reasoning system Intelligent agent Production system Automated planning and scheduling Logic programming Artificial intelligence Multi-agent systems Computing
134	Formal Evaluation of Agent Architectures N. Alechina and B. S. Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Science Intelligent agent Software agent Modal logic Agent-based model 3APL 2APL GOAL agent programming language Multi-agent systems Artificial intelligence Computing
135	Computationally grounded account of belief and awareness for AI agents Natasha Alechina and Brian Logan Abstract We discuss the problem of designing a computationally grounded logic Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 11:54:02 Artificial intelligence Multi-agent systems Philosophy of language Branches of philosophy Modal logic 2APL Epistemic modal logic Belief revision Interpretation Logic Science Mathematical logic
136	J Log Lang Inf[removed]:105–106 DOI[removed]s10849[removed]Formal Models of Awareness Thomas Ågotnes · Natasha Alechina Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:31:06 Metalogic Artificial intelligence Logical syntax Logical consequence Epistemic modal logic Entailment Logic programming Abductive reasoning Agent-based model Logic Science Reasoning
137	Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Artificial intelligence Formal languages Models of computation Logic programming Logical syntax Intelligent agent Production system Well-formed formula Agent-based model Logic Mathematics Science
138	aamas06-agentspeak-belief-revision.dvi Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Science AgentSpeak Belief revision Jason Theory of justification Belief–desire–intention model Belief Non-monotonic logic Epistemology Multi-agent systems Artificial intelligence Computing
139	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 07:35:36 Modal logic Software engineering Logic Non-classical logic Maude system
140	Grounding Knowledge and Action Selection in Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science and IT University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Formal languages Model theory Philosophical logic Modal logic Interpretation Epistemic modal logic Kripke semantics Function Action selection Logic Mathematical logic Mathematics